1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
![](/design/images/bookmore.png)
2. A roadmap for formal property verification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
![](/design/images/bookmore.png)
3. Abstraction refinement for large scale model checking
پدیدآورنده : Wang, Chao
کتابخانه: (سمنان)
موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Advanced verification techniques
پدیدآورنده : / by Leena Singh, Leonard Drucker, Neyaz Khann
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits , Verification,Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
5. Assertion-Based Design
پدیدآورنده : \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
رده :
E-Book
,
![](/design/images/bookmore.png)
6. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
E-BOOK
![](/design/images/bookmore.png)
7. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
TK7874
.
75
F68
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Authentication of embedded devices :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
![](/design/images/bookmore.png)
9. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : Andrews, Jason R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
![](/design/images/bookmore.png)
12. Comprehensive Functional Verification the Complete Industry Cycle
پدیدآورنده : \ Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستیآزمایی ,مهندسی کامپیوتر
رده :
E-Book
,
![](/design/images/bookmore.png)
13. Comprehensive Functional verification the complete industry cycle
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Integrated circuits -- Verification,Computer engineering
رده :
TK
،
7874
.
58
،.
W55
،
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Comprehensive functional verification the complete industry cycle
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Computer engineering. ;
![](/design/images/bookmore.png)
15. Computer-Hardware Evaluation of Mathematical Functions
پدیدآورنده : \ Amos Omondi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer arithmetic.,Computer arithmetic and logic units.,Computer algorithms.,Integrated circuits-- Verification.,محاسبات رایانه ,مدارات مجتمع -- راستی آزمایی
رده :
QA
76
.
9
.
O4C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: (طهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Computer-aided verification: proceedings 2nd International conference, CAV'90
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
D553
1990a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)